Словарь по логике - основание и следствие

части условного высказывания, устанавливающего, что одно событие, состояние и т. п. является в том или ином смысле условием или основанием для другого. Условное высказывание обычно формулируется с помощью связки "если..., то...". Высказывание, идущее после слова "если", называется основанием или антецедентом (предыдущим); высказывание, идущее после слова "то", называется следствием или консеквентом (последующим).

Напр., в высказывании "Если по проводнику течет ток, то вокруг проводника образуется магнитное поле" высказывание "по проводнику течет ток" О., "вокруг проводника образуется магнитное поле" С.

Условное высказывание в языке логики представляется импликацией; входящие в нее высказывания также называются: одно О. (антецедентом), другое С. (консеквентом).